closed-world assumption

См. также в других словарях:

• Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… …   Wikipedia

• Closed world assumption — Die Closed world assumption (deutsch: Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten (Wissensrepräsentation) sagt aus, dass alles, was nicht explizit als wahr bewiesen werden kann, als falsch bezeichnet wird: Alles, was …   Deutsch Wikipedia

• Closed-World-Assumption — Die Closed world assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten (Wissensrepräsentation) sagt aus, das alles, was nicht explizit als wahr bewiesen werden kann, als falsch bezeichnet wird: Alles was also… …   Deutsch Wikipedia

• Closed-world-assumption — Die Closed world assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten (Wissensrepräsentation) sagt aus, das alles, was nicht explizit als wahr bewiesen werden kann, als falsch bezeichnet wird: Alles was also… …   Deutsch Wikipedia

• Closed World Assumption — Die Closed world assumption (dt. Annahme zur Weltabgeschlossenheit) bei der Modellierung von Sachverhalten (Wissensrepräsentation) sagt aus, das alles, was nicht explizit als wahr bewiesen werden kann, als falsch bezeichnet wird: Alles was also… …   Deutsch Wikipedia

• Open world assumption — In formal logic, the open world assumption is the assumption that the truth value of a statement is independent of whether or not it is known by any single observer or agent to be true. It is the opposite of the closed world assumption, which… …   Wikipedia

• Unique name assumption — The Unique Name Assumption (UNA) is a concept from ontology languages and Description Logics. In logics with the unique name assumption, different names always refer to different entities in the world [Stuart J. Russell and Peter Norvig,… …   Wikipedia

• Closed head injury — Closed head injuries are a type of Traumatic Brain Injury in which the skull and dura mater remain intact. Closed head injuries are the leading cause of death in children under 4 years old and the most common cause of physical disability and… …   Wikipedia

• World Bank Group — The World Bank Group (WBG) is a family of five international organizations responsible for providing finance and advice to countries for the purposes of economic development and eliminating poverty. The Bank came into formal existence on 27… …   Wikipedia

• Assumption College — Infobox University name = Assumption College motto = Learn. Achieve. Contribute. established = October 1, 1904 Assumption College: A Centennial History 1904 2004, Kenneth J. Moynihan. Pp. 40.] type = Private affiliation = Roman Catholic… …   Wikipedia

• Assumption University (Windsor) — Infobox University name = Assumption University at University of Windsor native name = image size = caption = latin name = motto = established = 1857 closed = type = privately operated, autonomous university at University of Windsor affiliation …   Wikipedia